Lambda calculus

Results: 1452



#Item
11

Concepts in Programming Languages – Recitation 4: Untyped Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto )

Add to Reading List

Source URL: www.cs.tau.ac.il

- Date: 2016-03-31 11:10:54
    12

    Concepts in Programming Languages – Recitation 4: Untyped Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto )

    Add to Reading List

    Source URL: www.cs.tau.ac.il

    - Date: 2016-12-19 08:55:21
      13

      From natural numbers to the lambda calculus Benedikt Ahrens joint work with Ralph Matthes and Anders Mörtberg Outline

      Add to Reading List

      Source URL: www.math.ias.edu

      - Date: 2016-07-28 14:23:13
        14

        Concepts in Programming Languages – Recitation 5: Untyped Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto )

        Add to Reading List

        Source URL: www.cs.tau.ac.il

        - Date: 2015-05-06 11:36:06
          15

          Concepts in Programming Languages – Recitation 5: More (Untyped) Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto )

          Add to Reading List

          Source URL: www.cs.tau.ac.il

          - Date: 2016-04-06 11:51:26
            16

            Embedding Pure Type Systems in the lambda-Pi-calculus modulo Denis Cousineau and Gilles Dowek ´ Ecole polytechnique and INRIA

            Add to Reading List

            Source URL: www.lsv.ens-cachan.fr

            - Date: 2016-01-18 11:51:05
              17

              Introduction to ML Mooly Sagiv Cornell CS 3110 Data Structures and Functional Programming Typed Lambda Calculus

              Add to Reading List

              Source URL: www.cs.tau.ac.il

              - Date: 2016-12-09 12:39:44
                18

                Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus Niels Bjørn Bugge Grathwohl1 , Jeroen Ketema2 , Jens Duelund Pallesen1 , and Jakob Grue Simonsen1 1

                Add to Reading List

                Source URL: drops.dagstuhl.de

                - Date: 2011-04-26 05:41:56
                  19

                  Inductive and Coinductive Data Types in Typed Lambda Calculus Revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology

                  Add to Reading List

                  Source URL: rdp15.mimuw.edu.pl

                  - Date: 2015-07-02 10:00:20
                    20

                    Contrasting Lambda Calculus and Object-Oriented Languages with Vicount Ike Antkaretoo International Institute of Technology United Slates of Earth

                    Add to Reading List

                    Source URL: membres-lig.imag.fr

                    - Date: 2014-01-09 04:24:29
                      UPDATE